How to Install mace2 software package in Ubuntu 14.04 LTS (Trusty Tahr)

How to Install mace2 software package in Ubuntu 14.04 LTS (Trusty Tahr)

mace2 software package provides program that searches for finite models of first-order statements, you can install in your Ubuntu 14.04 LTS (Trusty Tahr) by running the commands given below on the terminal,

$ sudo apt-get update
$ sudo apt-get install mace2

mace2 is installed in your system.

Make ensure the mace2 package were installed using the commands given below,

$ sudo dpkg-query -l | grep mace2 *

You will get with mace2 package name, version, architecture and description in a table

mace2 package basic information:

Distro Ubuntu 14 04 lts trusty tahr
Section Mathematics
Package mace2
Version 3.3f-1.1
Description program that searches for finite models of first-order statements
Sub Section math


See Also, How to uninstall or remove mace2 software package from Ubuntu 14.04 LTS (Trusty Tahr)?


Search
How to Install and configure AWStats in CentOS / Fedora / RHELOracle Basic Commands for Linux SystemLinux : 503 Service Unavailable Reverse Proxy on ApacheResolved: Got permission denied while trying to connect to the Docker daemon socket in DockerHow do I copy a folder from remote to local using scp?How to fix: destination path already exists error while trying to clone the git repo in Ansible?How to fix :net/http: request canceled while waiting for connection error in Terraform?
MySQL could not starting in XamppAWStats : Configure add Multiple Domains and Password ProtectNagios : How Do You Configure Website Content Monitoring LinuxFFMPEG : Ruby uninitialized constant Config (NameError)Yum attempting to Update/Install Packages 404 Error ReturnedWrite Simple Shell Command to Rename Entire file .txt to .js in LinuxSteps to Install GCC compiler on Ubuntu 18.04 LTSHow do I make an HTTP request in Javascript?How do I read or convert an InputStream into a String in Java?How to Clone Public and Private Git Repositories with Ansible?